and Computation - PDFSEARCH.IO - Document Search Engine

and Computation
Results: 3364

#	Item
321	Searching for Surprise Georgios N. Yannakakis and Antonios Liapis Institute of Digital Games, University of Malta, Msida, Malta {georgios.yannakakis; antonios.liapis}@um.edu.mt Abstract Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2016-05-28 08:09:51 Learning Cognition Academia Creativity techniques Evolution Arts Cognitive psychology Computational creativity Creativity Evolutionary computation Neuroevolution Artificial neural network
322	553 Documenta Math. A Modular Compactification of the General Linear Group Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-01-17 12:27:51 Mathematics Ordinal number Wellfoundedness Constructible universe Symbol Closed and exact differential forms Theory of computation NC CurryHoward correspondence Generalised Whitehead product
323	L1 - Faster Development and Benchmarking of Cryptographic Protocols Axel Schr¨opfer, Florian Kerschbaum, Debmalya Biswas, Steffen Geißinger, and Christoph Sch¨ utz SAP Research Karlsruhe, Germany Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2009-09-30 17:02:37 Cryptography Software engineering E-commerce RSA Secure multi-party computation ALGOL 68 Const Method Public-key cryptography Apache Avro
324	MPC vs. SFE: Perfect Security in a Unified Corruption Model ? Zuzana Beerliov´a-Trub´ıniov´a, Matthias Fitzi, Martin Hirt, Ueli Maurer, and Vassilis Zikas Department of Computer Science, ETH Zurich {bzuzana,fitzi,hir Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2011-02-19 14:29:40 Cryptography Secure multi-party computation Secure two-party computation Ciphertext indistinguishability Consensus Secret sharing IP Control theory
325	Minimizing maximum (weighted) flow-time on related and unrelated machines S. Anand1 Karl Bringmann2 Tobias Friedrich3 Naveen Garg1 Amit Kumar1 1 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-01-03 06:45:57 Computational complexity theory Theory of computation Analysis of algorithms Operations research Scheduling Algorithm Mathematical logic Theoretical computer science Time complexity NC Job shop scheduling
326	REVERSIBLE COMPUTING Tommaso Toffoli MIT Laboratory for Computer Science Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2012-02-22 09:04:06 Mathematics Algebra Models of computation Functions and mappings Mathematical analysis Injective function Reversible computing Inverse element Finite-state machine Mutation Quantum circuit
327	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
328	Tight Bounds for Parallel Randomized Load Balancing [Extended Abstract] ∗ Christoph Lenzen Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:31 Analysis of algorithms Computational complexity theory Theory of computation Mathematics Balls into bins With high probability Sorting algorithm Leader election Time complexity Entropy Best worst and average case Big O notation
329	MASTERARBEIT Mirage High-Performance Music Similarity Computation and Automatic Playlist Generation Add to Reading List Source URL: www.schnitzer.at Language: English - Date: 2009-08-25 09:16:25 Software Application software Media technology Audio codecs MPEG IPod software Music information retrieval Digital audio Portable media player Advanced Audio Coding ITunes Vorbis
330	Crowdsourcing and Gov 2.0 Irene Ros, Yannick Assogba, Joan DiMicco IBM Research One Rogers St, Cambridge, iros; yannick; joan.dimicco]@us.ibm.com INTRODUCTION Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:55 Crowdsourcing Human-based computation Web 2.0 Computing Collective intelligence Social information processing Web services Open government Amazon Mechanical Turk Social web E-government Outlier

UPDATE